High-Level Modeling and Hardware Synthesis Methodology for Discrete-Event /Continuous-Time System
نویسندگان
چکیده
In recent years, the life cycle of industrial products becomes shorter and shorter; the diversity and complexity of functionality are continuously increasing. Thus, conventional methods and techniques of industrial controller design can no longer satisfy the actual demands like smartness, miniaturization, short time-to-market, etc. This paper is devoted to elaborate a methodology for hybrid controller design and high-level synthesis, combining discrete event system (DES) and continuous time system (CTS). This methodology includes successive system analysis, DES specification, GRAFCET modeling, DES/CTS interfacing, VHDL-based synthesis and FPGA hardware realization. We took a drilling machine as an example to apply this structural and automatic design procedure and achieved high-level hardware synthesis. This example demonstrates integrated design and rapid prototyping of our methodology which are valuable for industries. Key-Words: High-level modeling; Hardware Synthesis; DES; CTS; GRAFCET; VHDL
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTime-Varying Modeling of Systematic Risk: using High-Frequency Characterization of Tehran Stock Exchange
We decompose time-varying beta for stock into beta for continuous systematic risk and beta for discontinuous systematic risk. Brownian motion is assumed as nature of price movements in our modeling. Our empirical research is based on high-frequency data for stocks from Tehran Stock Exchange. Our market portfolio experiences 136 days out of 243 trading days with jumps which is a considerable rat...
متن کاملDistributed Control Applications Within Sensor Networks
Sensor networks are gaining a central role in the research community. This paper addresses some of the issues arising from the use of sensor networks in control applications. Classical control theory proves to be insufficient in modeling distributed control problems where issues of communication delay, jitter, and time synchronization between components are not negligible. After discussing our ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل